Plausible Repairs for Inconsistent Requirements
نویسندگان
چکیده
Knowledge-based recommenders support users in the identification of interesting items from large and potentially complex assortments. In cases where no recommendation could be found for a given set of requirements, such systems propose explanations that indicate minimal sets of faulty requirements. Unfortunately, such explanations are not personalized and do not include repair proposals which triggers a low degree of satisfaction and frequent cancellations of recommendation sessions. In this paper we present a personalized repair approach that integrates the calculation of explanations with collaborative problem solving techniques. In order to demonstrate the applicability of our approach, we present the results of an empirical study that show significant improvements in the accuracy of predictions for interesting repairs.
منابع مشابه
Using Rules of Thumb for Repairing Inconsistent Answer Set Programs
Answer set programming is a form of declarative programming that can be used to elegantly model various systems. When the available knowledge about these systems is imperfect, however, the resulting programs can be inconsistent. In such cases, it is of interest to find plausible repairs, i.e. plausible modifications to the original program that ensure the existence of at least one answer set. A...
متن کاملrepAIrC: A Tool for Ensuring Data Consistency
Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints are a well-known vehicle for specifying data consistency requirements in knowledge bases; in particular, active integrity constraints go one step further, allowing the specification of preferred ways to overcome inconsistent situations in the context of database management. This paper ...
متن کاملRepairing inconsistent answer set programs using rules of thumb: A gene regulatory networks case study
Answer set programming is a form of declarative programming that can be used to elegantly model various systems. When the available knowledge about these systems is imperfect, however, the resulting programs can be inconsistent. In such cases, it is of interest to find plausible repairs, i.e. plausible modifications to the original program that ensure the existence of at least one answer set. A...
متن کاملPlausible Query-Answering Inference in Data Integration
One of the main issue in formalizing the Data Integration Systems (DIS) is the semantic characterization of its global schema and the mappings with its source databases. Each DIS must be robust enough in order to take in account the incomplete and inconsistent information of its source databases, typical in Web applications: the extension of source databases change in an unpredictable way so th...
متن کاملLearning games for configuration and diagnosis tasks
A goal of many Artificial Intelligence (AI) courses is to teach properties of synthesis and analysis tasks such as configuration and diagnosis. Configuration is a special case of design activity where the major goal is to identify configurations that satisfy the user requirements and are consistent with the configuration knowledge base. If the requirements are inconsistent with the knowledge ba...
متن کامل